Optimal. Leaf size=119 \[ \frac{8 B x}{105 a^3 b \sqrt{a+b x^2}}+\frac{4 B x}{105 a^2 b \left (a+b x^2\right )^{3/2}}-\frac{2 a C+5 A b-b B x}{35 a b^2 \left (a+b x^2\right )^{5/2}}-\frac{x (a B-x (A b-a C))}{7 a b \left (a+b x^2\right )^{7/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0876955, antiderivative size = 119, normalized size of antiderivative = 1., number of steps used = 4, number of rules used = 4, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.174, Rules used = {1804, 639, 192, 191} \[ \frac{8 B x}{105 a^3 b \sqrt{a+b x^2}}+\frac{4 B x}{105 a^2 b \left (a+b x^2\right )^{3/2}}-\frac{2 a C+5 A b-b B x}{35 a b^2 \left (a+b x^2\right )^{5/2}}-\frac{x (a B-x (A b-a C))}{7 a b \left (a+b x^2\right )^{7/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1804
Rule 639
Rule 192
Rule 191
Rubi steps
\begin{align*} \int \frac{x \left (A+B x+C x^2\right )}{\left (a+b x^2\right )^{9/2}} \, dx &=-\frac{x (a B-(A b-a C) x)}{7 a b \left (a+b x^2\right )^{7/2}}-\frac{\int \frac{-a B-(5 A b+2 a C) x}{\left (a+b x^2\right )^{7/2}} \, dx}{7 a b}\\ &=-\frac{x (a B-(A b-a C) x)}{7 a b \left (a+b x^2\right )^{7/2}}-\frac{5 A b+2 a C-b B x}{35 a b^2 \left (a+b x^2\right )^{5/2}}+\frac{(4 B) \int \frac{1}{\left (a+b x^2\right )^{5/2}} \, dx}{35 a b}\\ &=-\frac{x (a B-(A b-a C) x)}{7 a b \left (a+b x^2\right )^{7/2}}-\frac{5 A b+2 a C-b B x}{35 a b^2 \left (a+b x^2\right )^{5/2}}+\frac{4 B x}{105 a^2 b \left (a+b x^2\right )^{3/2}}+\frac{(8 B) \int \frac{1}{\left (a+b x^2\right )^{3/2}} \, dx}{105 a^2 b}\\ &=-\frac{x (a B-(A b-a C) x)}{7 a b \left (a+b x^2\right )^{7/2}}-\frac{5 A b+2 a C-b B x}{35 a b^2 \left (a+b x^2\right )^{5/2}}+\frac{4 B x}{105 a^2 b \left (a+b x^2\right )^{3/2}}+\frac{8 B x}{105 a^3 b \sqrt{a+b x^2}}\\ \end{align*}
Mathematica [A] time = 0.0580431, size = 75, normalized size = 0.63 \[ \frac{-3 a^3 b \left (5 A+7 C x^2\right )+35 a^2 b^2 B x^3-6 a^4 C+28 a b^3 B x^5+8 b^4 B x^7}{105 a^3 b^2 \left (a+b x^2\right )^{7/2}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.005, size = 73, normalized size = 0.6 \begin{align*} -{\frac{-8\,B{x}^{7}{b}^{4}-28\,B{x}^{5}a{b}^{3}-35\,B{x}^{3}{a}^{2}{b}^{2}+21\,C{x}^{2}{a}^{3}b+15\,A{a}^{3}b+6\,C{a}^{4}}{105\,{a}^{3}{b}^{2}} \left ( b{x}^{2}+a \right ) ^{-{\frac{7}{2}}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.17386, size = 166, normalized size = 1.39 \begin{align*} -\frac{C x^{2}}{5 \,{\left (b x^{2} + a\right )}^{\frac{7}{2}} b} - \frac{B x}{7 \,{\left (b x^{2} + a\right )}^{\frac{7}{2}} b} + \frac{8 \, B x}{105 \, \sqrt{b x^{2} + a} a^{3} b} + \frac{4 \, B x}{105 \,{\left (b x^{2} + a\right )}^{\frac{3}{2}} a^{2} b} + \frac{B x}{35 \,{\left (b x^{2} + a\right )}^{\frac{5}{2}} a b} - \frac{2 \, C a}{35 \,{\left (b x^{2} + a\right )}^{\frac{7}{2}} b^{2}} - \frac{A}{7 \,{\left (b x^{2} + a\right )}^{\frac{7}{2}} b} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.69919, size = 250, normalized size = 2.1 \begin{align*} \frac{{\left (8 \, B b^{4} x^{7} + 28 \, B a b^{3} x^{5} + 35 \, B a^{2} b^{2} x^{3} - 21 \, C a^{3} b x^{2} - 6 \, C a^{4} - 15 \, A a^{3} b\right )} \sqrt{b x^{2} + a}}{105 \,{\left (a^{3} b^{6} x^{8} + 4 \, a^{4} b^{5} x^{6} + 6 \, a^{5} b^{4} x^{4} + 4 \, a^{6} b^{3} x^{2} + a^{7} b^{2}\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 71.2865, size = 796, normalized size = 6.69 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.22822, size = 111, normalized size = 0.93 \begin{align*} \frac{{\left ({\left (4 \,{\left (\frac{2 \, B b^{2} x^{2}}{a^{3}} + \frac{7 \, B b}{a^{2}}\right )} x^{2} + \frac{35 \, B}{a}\right )} x - \frac{21 \, C}{b}\right )} x^{2} - \frac{3 \,{\left (2 \, C a^{4} b + 5 \, A a^{3} b^{2}\right )}}{a^{3} b^{3}}}{105 \,{\left (b x^{2} + a\right )}^{\frac{7}{2}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]